Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving

[计] 定理证明

system ['sɪstəm]

n. 体系，系统;制度;身体;方法;

sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

I would like to send this by registered mail, please.

我想把这封信挂号寄出。

I have too much work to do to take time off for fun and games.

我工作多得没有游戏玩乐的时间。

and maybe that is where the rub is.

问题的症结恐怕就在这里。

更多情景英语 ›

🔤 更多 T 开头的单词

tai chi

tax on commerce

terns

the wealth of the nations

timer interruption

tinting

trace statement

transposition of teeth

全部 T 开头单词 ›